//]]>
Normal View MARC View ISBD View

Verification, model checking, and abstract interpretation : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, proceedings /

Authors: Barthe, Gilles%editor | Hermenegildo, Manuel%editor Series: Lecture notes in computer science ; . 5944 Published by : Springer, (Berlin : ) Physical details: x, 395 p. : ill ISBN: 3642113184 Subject(s): Computer programs %Congresses. %Verification | Software Validation. Year: 2010
Tags from this library:
No tags from this library for this title.
Item type Location Call Number Status Notes Date Due
Book Book AUM Main Library English Collections Hall 005.14 V519 (Browse Shelf) Available JBC/2011/9089

Includes bibliographical references and index

There are no comments for this item.

Log in to your account to post a comment.